How to replace a character in a string in python